pdf: exercise2.lhs Makefile
	lhs2TeX -o exercise2.tex --math exercise2.lhs
	pdflatex exercise2.tex

clean:
	rm -f *.log *.aux *.ptb cmbtt10.657pk exercise2.pdf exercise2.tex
